Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
61	Term structure in FG: a modest proposal Evelien Keizer, University of Amsterdam 1. Introduction1 Add to Reading List Source URL: home.hum.uva.nl Language: English - Date: 2009-12-01 07:07:32 Linguistics Syntax Grammar Logic Philosophy of language Mathematical logic Propositional calculus Semantics Predicate Clause Argument Complement
62	Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski Add to Reading List Source URL: www.mizar.org Language: English - Date: 2016-07-29 01:16:07 Logic Mathematical logic Predicate logic Abstraction Proof assistants Mizar system Andrzej Trybulec Formal methods First-order logic TarskiGrothendieck set theory Constructible universe Mizar
63	The limits of tractability in Resolution-based propositional proof systems Stefan Dantchev and Barnaby Martin? School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U. Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2010-03-23 07:22:00 Logic Mathematical logic Mathematics Model theory Predicate logic Finite model theory Automated theorem proving Boolean algebra First-order logic Resolution FO Interpretation
64	Summation Relations and Portions of Stuff Maureen Donnelly and Thomas Bittner (NOTE: This paper is currently being processed for publication in Philosophical Studies.) 1. Portions of stuff We have in front of us a full g Add to Reading List Source URL: www.thomasebittner.com Language: English - Date: 2012-04-30 16:05:55 Predicate logic Ontology Mathematical logic Mereology First-order logic Properties of water Temporal parts
65	Counting in Trees along Multidirectional Regular Paths∗ Everardo Bárcenas Pierre Genevès Nabil Layaïda Add to Reading List Source URL: db.ucsd.edu Language: English - Date: 2008-12-16 18:44:40 Model theory Formal languages Mathematical logic First-order logic Predicate logic Interpretation Well-formed formula Linear temporal logic Craig interpolation
66	Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Paul E. Oppenheimer Center for the Study of Language and Information Stanford University Add to Reading List Source URL: www.peoppenheimer.org Language: English - Date: 2016-07-11 03:14:21 Model theory Mathematical logic Formal languages Predicate logic Metalogic First-order logic Principia Mathematica Interpretation Well-formed formula Lambda calculus Constructible universe Structure
67	Toward a Logic of Cumulative Quantification Makoto Kanazawa and Junri Shimada 1 Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2014-08-19 13:21:07 Quantification Inference Pragmatics Semantics Predicate logic Quantifier Implicature Scalar implicature Universal quantification FO Cumulativity
68	Reflecting Higher-Order Abstract Syntax in Nuprl? Eli Barzilay and Stuart Allen Cornell University {eli,sfa}@cs.cornell.edu Abstract. This document describes part of an effort to achieve in Nuprl a practical reflection o Add to Reading List Source URL: barzilay.org Language: English - Date: 2003-07-04 16:21:32 Automated theorem proving Logic programming Integral calculus Free variables and bound variables Mathematical notation Predicate logic Substitution Term Integration by substitution Principia Mathematica
69	Proof-Carrying Code from Certied Abstract Interpretation and Fixpoint Compression Frédéric Besson and Thomas Jensen and David Pichardie Irisa, Campus de Beaulieu, FRennes, France Abstract Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2014-09-03 04:27:20 Formal methods Type theory Dependently typed programming Theoretical computer science Logic in computer science Coq Abstract interpretation CurryHoward correspondence Predicate transformer semantics Proof-carrying code Correctness Lines of Action
70	1 Introduction One of the most influential papers of Computer Science to appear during the late 1960’s undoubtedly was Tony’s “An Axiomatic Basis for Computer Programming” [1], introducing a special purpose logi Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Formal methods Monitor Hoare logic Invariant Loop invariant Flag semaphore Variable ALGOL 68 Predicate transformer semantics

UPDATE